Buy Used and New Damien Zufferey Books

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science)

by Majid Zamani,Damien Zufferey

ISBN 13: 9783030284220

Format: Paperback (164 pages)
Publisher: Springer
Published: 03 Aug 2019

Save for later

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... (Lecture Notes in Computer Science, 11990)

by Dirk Beyer,Damien Zufferey

ISBN 13: 9783030393212

Format: Paperback (485 pages)
Publisher: Springer
Published: 07 Feb 2020

Save for later